bitkeeper revision 1.1159.212.68 (42001e4d1AQiGV2pdPTNrs2AU2LjsQ)

Merge pb001.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into pb001.cl.cam.ac.uk:/auto/groups/xeno/users/iap10/xeno-clone/xen-unstable.bk

diff --cc BitKeeper/etc/logging_ok
index 361255bb44fe40cb5450b4228682c21c60465385,361255bb44fe40cb5450b4228682c21c60465385..b246720e36dcb02f48cc65292e00f66d86f1f121
--- 1/BitKeeper/etc/logging_ok
--- 2/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@@ -21,6 -21,6 +21,7 @@@ harry@dory.(none
  iap10@freefall.cl.cam.ac.uk
  iap10@labyrinth.cl.cam.ac.uk
  iap10@nidd.cl.cam.ac.uk
++iap10@pb001.cl.cam.ac.uk
  iap10@pb007.cl.cam.ac.uk
  iap10@striker.cl.cam.ac.uk
  iap10@tetris.cl.cam.ac.uk